first order predicate logic meaning in English
一阶谓词逻辑
Examples
- A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法 - With the tool of first order predicate logic , this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one ' s win and the other ' s loss
摘要用一阶谓词逻辑的工具证明，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，存在必胜的方法。